Thierry Giraud, Le Désir-temps. Essai sur le temps suspendu

Au temps en emporte le C

Le (bon) séquencement des événements au fil du temps est un sujet important pour l’analyse de programmes, par exemple dans le cadre de protocoles d’échange d’information ou de systèmes embarqués. De nombreux travaux s’appuient sur la logique temporelle linéaire (LTL) pour décrire formellement le comportement attendu d’un programme, sous la forme d’une succession d’actions distinctes. Implanté a...

Fusion de primitives visuelles pour le suivi 3D temps-réel

This paper proposes a real-time, robust and efficient 3D model-based tracking algorithm. A virtual visual servoing approach is used for monocular 3D tracking. The integration of texture information in the classical non-linear edgebased pose computation provides a more reliable tracker. Robustness is enforced using a multi-scale model of the texture and by integrating a M-estimator into the virt...

Une ontologie du temps pour le langage naturel

We propose a new ontology for the time in natural language which provides the following

Sur la stabilité des systèmes à retards variant dans le temps: théorie et application au contrôle de congestion d'un routeur

This thesis investigates the existing links between the control theory and the communica-tion networks supporting the well-known communication protocol TCP (Transmission ControlProtocol). The key idea consists in using the tools from control theory for the network trafficstabilization. Hence, this manuscript has naturally been turned towards two research lines : thedesign of sta...

Éditorial: Il faut revoir le temps de travail des enseignants! Le décret de 1950 est vraiment trop vieux!